theorem on regular set

正则集定理